|
Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego〔(Faculty profile ), UCSD, retrieved 2011-03-21.〕 and since 2009 the editor-in-chief of the Journal of the ACM. Vianu did his graduate studies at the University of Southern California, earning his Ph.D. in 1983 under the supervision of Seymour Ginsburg; he joined the UCSD faculty in 1984.〔 Vianu's book ''Foundations of Databases'' (with Serge Abiteboul and Richard Hull, Addison-Wesley, 1995) is a standard graduate textbook in database theory. In finite model theory and computational complexity theory, the Abiteboul–Vianu theorem (also published with Abiteboul, at the 1991 Symposium on Theory of Computing) states that polynomial time equals PSPACE if and only if fixed point logic equals partial fixed point logic. At the 2010 Symposium on Principles of Database Systems, Vianu and his co-authors Dan Suciu and Tova Milo won the Alberto O. Mendelzon Test-of-Time Award for their work ten years prior on type checking for XML transformation languages.〔(ACM PODS Alberto O. Mendelzon Test-of-Time Award ), ACM SIGMOD, retrieved 2011-03-21.〕 In 2006, Vianu was elected as a Fellow of the ACM for his "contributions to database management systems".〔(ACM Fellow Award citation ), ACM, retrieved 2011-03-21.〕 In his first paper recorded by DBLP〔http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vianu:Victor.html〕 (presented at MFCS, 1977), Vianu acknowledges Solomon Marcus for guidance. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Victor Vianu」の詳細全文を読む スポンサード リンク
|